Philosophy Dictionary of ArgumentsHome
| |||
|
| |||
| Substitution: in a formula, a symbol can be substituted for another symbol under certain conditions. E.g. If a constant is substituted for a variable, a propositional function becomes a statement. See also Substitutability, Generality, Validity, Statements, Propositional functions, Fine-grained/coarse-grained._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
| Author | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
Logic Texts on Substitution - Dictionary of Arguments
Read III 127f Improper name/Quine: (= descriptions) - Only real names allow the substitution, which finds itself in the indistinguishability of the identical. Improper names: lead to a more complex form: for example, "there is one greatest orator among the Roman orators, and he accused Catilina." - e.g. "Exactly one number counts the planets and it is bigger than seven." Russell: here only 7 is a real name. >Description. Hence, these sentences cannot be upper and lower sentence in a conclusion of the principle of the indistinguishability of the identical. QuineVs: Problem: Scope: the descriptions must be eliminated in such a way that in the new formulation no component corresponds to them. --- Strobach I 104 Indistinguishability/Strobach: requires Logic of the 2nd level: predicate logic 2nd level/PL2/Strobach: typical formula: Leibniz's Law: "x = y > (Fx ↔ Fy)". >Second order logic._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Logic Texts Me I Albert Menne Folgerichtig Denken Darmstadt 1988 HH II Hoyningen-Huene Formale Logik, Stuttgart 1998 Re III Stephen Read Philosophie der Logik Hamburg 1997 Sal IV Wesley C. Salmon Logic, Englewood Cliffs, New Jersey 1973 - German: Logik Stuttgart 1983 Sai V R.M.Sainsbury Paradoxes, Cambridge/New York/Melbourne 1995 - German: Paradoxien Stuttgart 2001 Re III St. Read Thinking About Logic: An Introduction to the Philosophy of Logic. 1995 Oxford University Press German Edition: Philosophie der Logik Hamburg 1997 Stro I N. Strobach Einführung in die Logik Darmstadt 2005 |
||
> Counter arguments against Logic Texts
> Counter arguments in relation to Substitution
Ed. Martin Schulz, access date 2024-04-28